A computable version of Banach’s Inverse Mapping Theorem
نویسندگان
چکیده
منابع مشابه
A Computable Spectral Theorem
Computing the spectral decomposition of a normal matrix is among the most frequent tasks to numerical mathematics. A vast range of methods are employed to do so, but all of them suffer from instabilities when applied to degenerate matrices, i.e., those having multiple eigenvalues. We investigate the spectral representation’s effectivity properties on the sound formal basis of computable analysi...
متن کاملA note on spectral mapping theorem
This paper aims to present the well-known spectral mapping theorem for multi-variable functions.
متن کاملDeterminants, Matrix Norms, Inverse Mapping Theorem
The purpose of this notes is to present some useful facts about matrices and determinants and a proof of the inverse mapping theorem that is rather different from the one in Apostol. Notation: Mn(R) denotes the set of all n× n real matrices. Determinants: If A ∈ Mn(R), we can consider the rows of A: r1, . . . , rn. These are elements of R, considered as row vectors. Conversely, given n row vect...
متن کاملA More General Version of the Costa Theorem
In accordance with the Costa theorem, the interference which is independent of the channel input and known non-causally at the transmitter, does not affect the capacity of the Gaussian channel. In some applications, the known interference depends on the input and hence has some information. In this paper, we study the channel with input dependent interference and prove a capacity theorem that n...
متن کاملA FUZZY VERSION OF HAHN-BANACH EXTENSION THEOREM
In this paper, a fuzzy version of the analytic form of Hahn-Banachextension theorem is given. As application, the Hahn-Banach theorem for$r$-fuzzy bounded linear functionals on $r$-fuzzy normedlinear spaces is obtained.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2009
ISSN: 0168-0072
DOI: 10.1016/j.apal.2008.09.002